منابع مشابه
IDP - An Interactive Discourse Planner
We are building a system that plans text to describe and justify domain plans interactively. This paper focuses on the second task, plan justiication. A speaker uses plan justiication to have a listener adopt a recommended plan. The text plan that our system incremen-tally formulates and executes to justify its recommendation is represented uniformly in the same knowledge base with the domain p...
متن کاملJONSSON ALGEBRAS AND idp ( ¯ C, Ī)
We improve some theorems of Shelah on the existence of Jonsson algebras on successors of singular cardinals.
متن کاملModelling Delegation and Revocation Schemes in IDP
In ownership-based access control frameworks with the possibility of delegating permissions and administrative rights, chains of delegated accesses will form. There are different ways to treat these delegation chains when revoking rights, which give rise to different revocation schemes. In this paper, we show how IDP – a knowledge base system that integrates technology from ASP, SAT and CP – ca...
متن کاملA web-based IDE for IDP
IDP is a knowledge base system based on first order logic. It is finding its way to a larger public but is still facing practical challenges. Adoption of new languages requires a newcomer-friendly way for users to interact with it. Both an online presence to try to convince potential users to download the system and offline availability to develop larger applications are essential. We developed...
متن کاملThe IDP framework for declarative problem
The IDP framework is a declarative problem solving paradigm, in which the computational task is to expand a given finite interpretation of a set of symbols into a model of a given ID-logic theory, a classical logic theory extended with inductive definitions. This framework has been proposed as a general approach for solving finite domain problems. In this paper, we introduce a typed version of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IDP. Revista de Internet Derecho y Política
سال: 2019
ISSN: 1699-8154
DOI: 10.7238/idp.v0i29.3217